Informed Swarm Verification of Infinite-State Systems

Verification of Infinite-state Systems

The development of our modern societies needs more and more involvement of computers in managing highly complex and (safety-)critical tasks, e.g., in telecommunication, chemical and physical process control, transportation systems, etc. It is essential to be able to produce reliable hardware and software systems, since any erroneous behaviour can have catastrophic (economical and human) consequ...

Towards Informed Swarm Verification

In this paper, we propose a new method to perform large scale grid model checking. A manager distributes the workload over many embarrassingly parallel jobs. Only little communication is needed between a worker and the manager, and only once the worker is ready for more work. The novelty here is that the individual jobs together form a so-called cumulatively exhaustive set, meaning that even th...

Languages, Rewriting Systems, and Verification of Infinite-State Systems

Verification of Infinite-State Systems by Specialization of CLP Programs

Verification of infinite state systems using Presburger arithmetic

ix